Bertrand Meyer - PDFSEARCH.IO - Document Search Engine

Bertrand Meyer
Results: 47

#	Item
11	Specifying Reusable Components? Nadia Polikarpova, Carlo A. Furia, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {nadia.polikarpova,carlo.furia,bertrand.meyer}@inf.ethz.ch Abstract. Reusable Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-02-24 07:02:06
12	A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:33:20 Software engineering Computer programming Software Formal methods Logic in computer science Object-oriented programming languages Object-oriented programming Software testing Postcondition Eiffel Assertion Class invariant
13	1 An automatic technique for static deadlock prevention Bertrand Meyer ETH Zurich, Innopolis University & Eiffel Software Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2015-02-12 01:13:29
14	SECURITY IN THE GRANDER ORDER OF THINGS Bertrand Meyer Professor of Software Engineering, ETH Zürich Add to Reading List Source URL: www.iwia.org Language: English - Date: 2016-01-14 06:08:13
15	Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Andrey Rusakov Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-11-08 05:03:46 Computer programming Software engineering Software Code refactoring Object-oriented programming Extreme programming Integrated development environments Extract class Rename method Programming tool Push Down C Sharp
16	Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-09-20 05:07:09 Robotics Mobile robot Robot Operating System Robot Obstacle avoidance Sebastian Thrun Motion planning Carmen Toolkit Index of robotics articles
17	Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-10-08 07:43:25 Control theory Systems theory Cybernetics Physics Delay differential equation Rotation operator
18	Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-10-31 08:16:57 Occupancy grid mapping Robot navigation Operator theory
19	Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-10-03 07:40:43 Concurrency Deadlock Edsger W. Dijkstra Lock
20	Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-11-21 07:26:52 Robot control Search algorithms Motion planning Theoretical computer science Routing algorithms Visibility graph A* search algorithm Visibility Probabilistic roadmap Any-angle path planning